1. ......................
Author: Uspenskii, Vladimir Andreevich
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Recursive functions
Classification :
Q
111
.
A3
no
.
1317
2. .....................
Author: Engeler, Erwin
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Sequential machine theory,، Recursive functions,، Formal languages
Classification :
QA
267
.
5
.
S4
E53
3. .....................
Author: Jones, Neil D.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Recursive functions,، Turing machines
Classification :
QA
248
.
5
.
J66
4.
Author: [by] R. L. Goodstein
Library: Library of the Faculty of Economics University of Tehran (Tehran)
Subject: Recursive functions
Classification :
QA
248
.
5
.
G6A5
5. A Compendium of Continuous Lattices
Author: by Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Mathematics.
Classification :
QA171
.
5
B944
1980
6. A Course on Mathematical Logi
Author: / by Shashi Mohan Srivastava
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK
7. A course in mathematical logic for mathematicians
Author: Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
Classification :
511
,.
3
,.
M296
,
2010
8. A course in mathematical logic for mathematicians
Author: / Yu. I. Manin
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
M29613
2010
9. A mathematical introduction to logic
Author: / Herbert B. Enderton
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical
Classification :
E-BOOK
10. A novel approach for generating two-variable very strict Hurwitz polynomials with applications in the design of stable two-dimensional recursive digital filters
Author: M. A. Abiri
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Applied sciences,Digital filters,Electrical engineering,Hurwitz polynomials
11. A recursive introduction to the theory of computation
Author: Smith, Carl H., 0591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,Data processing ، Recursive functions
Classification :
QA
76
.
6
.
S52
12. A systems approach to lithium-ion battery management
Author: Phillip Weicker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Battery chargers.,Lithium ion batteries.,Power electronics.,Battery chargers.,Lithium ion batteries.,Power electronics.,TECHNOLOGY & ENGINEERING-- Mechanical.
Classification :
TK2945
.
L58
W45
2014eb
13. Active contours :
Author: Andrew Blake
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
TA1634
.
A537
2012
14. Adaptive modelling, estimation and fusion from data :
Author: Chris Harris
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
87
C475
2013
15. Advanced R
Author: Hadley Wickham.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)
Classification :
QA276
.
45
.
R3
H335
2019
16. Advances in Communications Vol. I of a Selection of Papers from Info II, the Second International Conference on Information Sciences and Systems, University of Patras, Greece, J.
Author: Lainiotis, D.G.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
17. Advances in Stochastic Modelling and Data Analysis
Author: edited by Jacques Janssen, Christos H. Skiadas, Constantin Zopounidis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Distribution (Probability theory),Mathematics.
Classification :
HB135
.
E358
1995
18. Advances in logic based intelligent systems :
Author: edited by Kazumi Nakamatsu and Jair Minoro Abe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.
Classification :
Q334
.
C69
2005
19. Advances in safety, reliability and risk management :
Author: editors, Christophe Bérenguer & Antoine Grall, C. Guedes Soares.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Industrial safety -- Management -- Congresses.,Reliability (Engineering) -- Congresses.,System safety -- Congresses.
Classification :
TS173
.
E358
2012
